Issue1944-internal-error.agda:26,10-15
Set₁ !=< R
when checking that the expression out x has type R
